\begin{tabbing}
$X$ is local
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\exists$\=$f$:$i$:Id$\rightarrow$${\it xs}$:(Id List) $\times$ ($k$:Knd$\rightarrow$state@$i$$\mid$${\it xs}$$\rightarrow$kindtype($i$;$k$)$\rightarrow$($A$ + Top))\+
\\[0ex]($X$ = ($\lambda$$e$.(($f$(loc($e$))).2)(kind($e$),(state when $e$),val($e$))))
\-
\end{tabbing}